Prehistoric Phenomena and Self-referentiality in Realization Procedure
نویسنده
چکیده
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : φ(t), which have self-referential meanings. In this paper, “prehistoric phenomena” in a Gentzen-style formulation of modal logic S4 are defined. A special phenomenon, i.e., “left prehistoric loop”, is then shown to be necessary for self-referentiality in S4-LP realization.
منابع مشابه
Self-referentiality of Justified Knowledge
The language of justification logic makes it possible to define what it means for knowledge/belief described by an epistemic modality to be self-referential. Building on an earlier result that S4 and its justification counterpart LP describe knowledge that is self-referential, we show that the same is true for K4, D4, and T with their justification counterparts, whereas for K and D self-referen...
متن کاملHereby explained: an event-based account of performative utterances
Several authors propose that performative speech acts are self-guaranteeing due to their self-referential nature (Searle 1989; Jary 2007). The present paper offers an analysis of self-referentiality in terms of truth conditional semantics, making use of Davidsonian events. I propose that hereby can denote the ongoing act of information transfer (more mundanely, the utterance) which thereby ente...
متن کاملDesert kites and prehistoric periods in Iranian plateau
The known area of distribution of kites is very large, from Arabia and the Near East, to Armenia in the Caucasus and the Aralo-Caspian region, namely south-western Kazakhstan and western Uzbekistan (e.g. Barge et al. 2013).although still there is not any official report about its existence in Iranian plateau but regards to the vast distribution of desert kites from Egypt in west to Kazakhstan i...
متن کاملEquilibrium and Realization: William Chittick on Self and Cosmos
William Chittick, currently Professor of Religious Studies at the State University of New York (Stony Brook), is an internationally renowned expert on Islamic thought. His contributions to the fields of Sufism and Islamic philosophy have helped paint a clearer picture of the intellectual and spiritual landscape of Islamic civilization from the 7th/13th century onwards. Yet Chittick is not simpl...
متن کاملSelf make-up: the influence of self-referential processing on attention orienting
For humans, both eye gaze and arrows serve as powerful signals for orienting attention. Recent studies have shown important differences between gaze and arrows in attention orienting; however, the mechanisms underlying these differences are not known. One such mechanism may be self-referential processing. To investigate this possibility, we trained participants to associate two cues (a red and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009